Evaluating Universal Quantification in XML
نویسندگان
چکیده
منابع مشابه
Universal quantification in machine translation
This approach has been developed in the context of the E U R O T R A machine translation (MT) project and thus has been d e s i g n e d w i t h r e spec t to a s y n t a x based s t r a t i f i c a t i o n a l translation process? We assume that in a semantic representation determiners are deleted and that their semantic funct ion which is represented by semantic features is percolated into the...
متن کاملUniversal Quantification in Machine Translation
This approach has been developed in the context of the E U R O T R A machine translation (MT) project and thus has been d e s i g n e d w i t h r e spec t to a s y n t a x based s t r a t i f i c a t i o n a l translation process? We assume that in a semantic representation determiners are deleted and that their semantic funct ion which is represented by semantic features is percolated into the...
متن کاملThe Universal XML Organizer: UXO
The integrated editor UXO is the result of ongoing research and development of the text-technology group at Bielefeld. Being a full featured XML-based editing system, it also allows to combine the structured annotated data with information imported from relational databases by integrating a JDBC interface. The mapping processes between different levels of annotation can be programmed either by ...
متن کاملNative XML Support in DB2 Universal Database
The major relational database systems have been providing XML support for several years, predominantly by mapping XML to existing concepts such as LOBs or (object-)relational tables. The limitations of these approaches are well known in research and industry. Thus, a forthcoming version of DB2 Universal Database® is enhanced with comprehensive native XML support. “Native“ means that XML documen...
متن کاملLexical Scoping as Universal Quantification
A universally quantified goal can be interpreted intensionally, that is, the goal ∀x.G(x) succeeds if for some new constant c, the goal G(c) succeeds. The constant c is, in a sense, given a scope: it is introduced to solve this goal and is "discharged" after the goal succeeds or fails. This interpretation is similar to the interpretation of implicational goals: the goal D ⊃ G should succeed if ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Knowledge and Data Engineering
سال: 2007
ISSN: 1041-4347
DOI: 10.1109/tkde.2007.190643